منابع مشابه
THE URYSOHN AXIOM AND THE COMPLETELY HAUSDORFF AXIOM IN L-TOPOLOGICAL SPACES
In this paper, the Urysohn and completely Hausdorff axioms in general topology are generalized to L-topological spaces so as to be compatible with pointwise metrics. Some properties and characterizations are also derived
متن کاملComplete independence of an axiom system for central translations
A recently proposed axiom system for André’s central translation structures is improved upon. First, one of its axioms turns out to be dependent (derivable from the other axioms). Without this axiom, the axiom system is indeed independent. Second, whereas most of the original independence models were infinite, finite independence models are available. Moreover, the independence proof for one of...
متن کاملThere is no complete axiom system for shuffle expressions
In this paper we show that neither the set of all valid équations between shuffie expressions nor the set of schémas of valid équations is recursively enumerable. Thus, neither of the sets can be recursively generated by any axiom System. AMS Subject Classification. 68Q45.
متن کاملA complete axiom system for finite-state probabilistic processes
A complete equational axiomatization of probabilistic bisimulation for nite-state probabilistic processes is presented. It extends Milner's complete axiomatiza
متن کاملThe Bounded Axiom A Forcing Axiom
We introduce the Bounded Axiom A Forcing Axiom(BAAFA). It turns out that it is equiconsistent with the existence of a regular Σ2-correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing Axiom(BPFA).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 1988
ISSN: 0166-8641
DOI: 10.1016/0166-8641(88)90052-1